Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
711	DREAM_senior_scientist 2013 Add to Reading List Source URL: sagebase.org Language: English - Date: 2015-01-07 17:02:22 Formal sciences Applied mathematics Bioinformatics Systems biology Science Open science Sage Bionetworks
712	Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Automated Analysis of Fault-Tolerance in Distributed Systems∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-28 15:10:56 Inter-process communication Distributed computing Infinite loop Fault-tolerant computer systems Message passing Function Byzantine fault tolerance State machine replication Computing Computer programming Concurrent computing
713	Social Studies of Science http://sss.sagepub.com/ Where are the Cyborgs in Cybernetics? Ronald Kline Add to Reading List Source URL: cyberneticzoo.com Language: English - Date: 2012-06-22 02:42:26 Knowledge Systems theory Robotics Formal sciences biomedical cybernetics Cyborg Macy conferences N. Katherine Hayles Second-order cybernetics Cybernetics Science Systems science
714	Grady Booch Software Architecture Masterclass Venue Royal Academy of Engineering 29 Great Peter Street SW1P Add to Reading List Source URL: architecting.co.uk Language: English - Date: 2014-09-23 17:16:44 Formal methods Software requirements Software engineering Grady Booch Computing Software architecture Software Systems engineering Requirement Software development Software engineers Unified Modeling Language
715	Formal Verification of Maneuver Automata for Parameterized Motion Primitives Daniel Heß, Matthias Althoff, Thomas Sattel Abstract— An increasing amount of robotic systems is developed for safety-critical scenarios, su Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2015-01-04 13:14:18 Ballistics Kinematics Dynamical system Trajectory Physics Classical mechanics Mechanics
716	System and Network Engineering Group, UvA UNIVERSITEIT VAN Add to Reading List Source URL: www.uazone.org Language: English - Date: 2013-09-16 12:44:04 Formal sciences Database management systems Database theory Transaction processing Big data Data architecture HPCC Database Data center Computing Data management Information technology management
717	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
718	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No3 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-12-18 10:47:53 Validity Science Technology Formal methods Software quality Validation Verification and validation Software development process Verification Systems engineering Software development Pharmaceutical industry
719	Big Data Special Report trading technologies for financial-market professionals Sponsored by: Add to Reading List Source URL: m.waterstechnology.com Language: English - Date: 2013-09-05 07:37:52 Business intelligence Database management systems Formal sciences Database theory Big data Business analytics Apache Hadoop Data visualization Analytics Computing Data management Technology
720	UNION INTERPARLEMENTAIRE INTER-PARLIAMENTARY UNION Association of Secretaries General of Parliaments Add to Reading List Source URL: asgp.co Language: English - Date: 2014-07-02 05:09:07 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software

UPDATE